1. An introduction to formal specification and Z
المؤلف: Ben Potter, Jane Sinclair, David Till
المکتبة: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (طهران)
موضوع: Computer software - Geotools,Z )Computer program language(
رده :
QA
76
.
76
.
D47
2. Design patterns :elements of reusable object-oriented software
المؤلف: Erich Gamma ... ]et al.[
المکتبة: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (طهران)
موضوع: Object-oriented programming )Computer science(,Computer software - Geotools,Software patterns
رده :
QA
76
.
64
.
D47
1995
3. Geotools MT User's Guide
المؤلف:
المکتبة: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (طهران)
موضوع: Computer software - Geotools,Magnetotelluric - Computer software
رده :
QA
76
.
6
.
G4
4. Proceedings of the 1994 international conference on parallel processing August 15-19, 1994
المؤلف: K.C. Tai
المکتبة: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (طهران)
موضوع: Parallel processing)electronic computers(,Computer architecture,Computer software - Geotools,Electronic data processing,Computer networks
رده :
QA
76
.
6
.
I5
1994
5. Software inspection
المؤلف: Tom Gilb, Dorothy Graham ; edited by Susannah Finzi
المکتبة: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (طهران)
موضوع: Computer software - Geotools
رده :
QA
76
.
76
.
Q35
.
G48
1993
6. Software project management
المؤلف: Bob Hughes and Mike Cotterell
المکتبة: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (طهران)
موضوع: Computer software - Geotools
رده :
QA
76
.
76
.
H8
.
S64
